$\forall$$g$:IAbGrp\{i\}, $a$, $b$:$\mid$$g$$\mid$. ($a$ $\ast$ (($\sim$($a$)) $\ast$ $b$)) = $b$ \& (($\sim$($a$)) $\ast$ ($a$ $\ast$ $b$)) = $b$